Stone duality above dimension zero: Axiomatising the algebraic theory of C(X)
نویسندگان
چکیده
منابع مشابه
FREC delivrable 12: Stone duality in semantics vs. Stone duality in variety theory
This report is the 12th delivrable of the FREC project. This report contains the description of a denotational semantics for λY calculus that captures precisely weak Monadic Second Order Logic on the Böhm trees defined by λY -terms. Exploiting Stone duality we have been able to turn properties expressed by those models into an inference system. Moreover we exploited internal dualities of the mo...
متن کاملA Duality Theory with Zero Duality Gap for Nonlinear Programming
Duality is an important notion for constrained optimization which provides a theoretical foundation for a number of constraint decomposition schemes such as separable programming and for deriving lower bounds in space decomposition algorithms such as branch and bound. However, the conventional duality theory has the fundamental limit that it leads to duality gaps for nonconvex optimization prob...
متن کاملCombinatorial Dimension Theory of Algebraic Varieties
How can one compute the dimension of a projective algebraic subset, given by a system of equations? There are different definitions, and their equivalence is part of the classical dimension theory in algebraic geometry. The game is then the following: to make some definition of dimension effective enough to get an algorithm. A first method consists to think algebraically and to use the Hilbert ...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولConstructive Field Theory in Zero Dimension
Constructive field theory can be considered as a reorganization of perturbation theory in a convergent way. In this pedagogical note we propose to wander through five different methods to compute the number of connected graphs of the zero-dimensional φ field theory, in increasing order of sophistication and power.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2017
ISSN: 0001-8708
DOI: 10.1016/j.aim.2016.11.012